State-based Components Made Generic
نویسندگان
چکیده
Genericity is a topic which is not sufficiently developed in state-based systems modelling, mainly due to a myriad of approaches and behaviour models which lack unification. This paper adopts coalgebra theory to propose a generic notion of a state-based software component, and an associated calculus, by quantifying over behavioural models specified as strong monads. This leads to the pointfree, calculational reasoning style which is typical of the so-called Bird-Meertens school.
منابع مشابه
Investigation of Thermodynamic Consistency Test of Carbon Dioxide (CO2) in Room-Temperature Ionic liquids using Generic van der Waals Equation of State
Thermodynamic consistency test of isothermal vapor-liquid equilibrium (VLE) data of various binary systems containing Carbon dioxide (CO2)/Room temperature ionic liquids (RTILs) have been investigated in wide ranges of pressures in each isotherm precisely. In this paper Generic van der Waals (GvdW) equation of state (EoS) coupled with modified van der Waals Berthelot mixing rule has ...
متن کاملOn Refinement of Generic State-Based Software Components
This paper characterizes refinement of state-based software components modelled as pointed coalgebras for some Set endofunctors. The proposed characterization is parametric on a specification of the underlying behaviour model introduced as a strong monad. This provides a basis to reason about (and transform) state-based software designs. On Refinement of Generic State-based Software Components ...
متن کاملGeneric Transition Management for Reconfigurable Hybrid Control Systems
Complex control systems often contain numerous controllers (or control laws) for a given plant, where the controller having authority at any given time depends on the current operating condition of the plant. For example, a plant operating in the nominal condition generally uses one controller, while a plant with a fault uses a different controller. Even in nominal operation, there may be sever...
متن کاملRaising the source code abstraction level by using generic components for state machines
Various software architectures use state transition mechanisms as a major building block. As an example, finite state machines (FSMs) and their graphical counterpartstate transition diagramsare heavily used e.g. for the specification of various kinds of protocols such as network protocols (TCP/IP) or protocols for infrared data transmission (IrDA). Many embedded systems, e.g. telephone switch...
متن کاملDeveloping Secure Software Using UML Patterns
This chapter presents a security engineering process based on UML security problem frames and concretized UML security problem frames. Both kinds of frames constitute patterns for analyzing security problems and associated solution approaches. They are arranged in a pattern system that makes dependencies between them explicit. The authors describe step-by-step how the pattern system can be used...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 82 شماره
صفحات -
تاریخ انتشار 2003